Topics in algorithmic, enumerative and geometric combinatorics

This thesis presents five papers, studying enumerative and extremal problems on combinatorial structures. The first paper studies Forman’s discrete Morse theory in the case where a group acts on the underlying complex. We generalize the notion of a Morse matching, and obtain a theory that can be used to simplify the description of the G-homotopy type of a simplicial complex. As an application, we determine the S2 × Sn−2-homotopy type of the complex of non-connected graphs on n nodes. In the introduction, connections are drawn between the first paper and the evasiveness conjecture for monotone graph properties. In the second paper, we investigate Hansen polytopes of split graphs. By applying a partitioning technique, the number of nonempty faces is counted, and in particular we confirm Kalai’s 3-conjecture for such polytopes. Furthermore, a characterization of exactly which Hansen polytopes are also Hanner polytopes is given. We end by constructing an interesting class of Hansen polytopes having very few faces and yet not being Hanner. The third paper studies the problem of packing a pattern as densely as possible into compositions. We are able to find the packing density for some classes of generalized patterns, including all the three letter patterns. In the fourth paper, we present combinatorial proofs of the enumeration of derangements with descents in prescribed positions. To this end, we consider fixed point λ-coloured permutations, which are easily enumerated. Several formulae regarding these numbers are given, as well as a generalisation of Euler’s difference tables. We also prove that except in a trivial special case, the event that π has descents in a set S of positions is positively correlated with the event that π is a derangement, if π is chosen uniformly in Sn. The fifth paper solves a partially ordered generalization of the famous secretary problem. The elements of a finite nonempty partially ordered set are exposed in uniform random order to a selector who, at any given time, can see the relative order of the exposed elements. The selector’s task is to choose